Generate type spec for an Erlang function.